A Néron–ogg–shafarevich Criterion for K3 Surfaces
نویسنده
چکیده
The naive analogue of the Néron–Ogg–Shafarevich criterion is false for K3 surfaces, that is, there exist K3 surfaces over Henselian, discretely valued fields K, with unramified (resp. crystalline if K is padic) étale cohomology groups, but which do not admit good reduction over K. Assuming potential semi-stable reduction, we show how to correct this by proving that a K3 surface has good reduction if and only if H ét(XK ,Q`) is unramified (resp. H 2 ét(XK ,Qp) is crystalline), and the associated Galois representation (resp. F -isocrystal) over the residue field coincides with the second cohomology of a certain “canonical reduction” of X.
منابع مشابه
On the Néron-severi Group of Surfaces with Many Lines
For a binary quartic form φ without multiple factors, we classify the quartic K3 surfaces φ(x, y) = φ(z, t) whose Néron-Severi group is (rationally) generated by lines. For generic binary forms φ, ψ of prime degree without multiple factors, we prove that the Néron-Severi group of the surface φ(x, y) = ψ(z, t) is rationally generated by lines.
متن کاملTate-Shafarevich groups and K3 surfaces
This paper explores a topic taken up recently by Logan and van Luijk, finding nontrivial 2-torsion elements of the Tate-Shafarevich group of the Jacobian of a genus-2 curve by exhibiting Brauer-Manin obstructions to rational points on certain quotients of principal homogeneous spaces of the Jacobian, whose desingularizations are explicit K3 surfaces. The main difference between the methods used...
متن کاملK3 Surfaces with Interesting Groups of Automorphisms
By the fundamental result of I.I. Piatetsky-Shapiro and I.R. Shafarevich (1971), the automorphism group Aut(X) of a K3 surface X over C and its action on the Picard lattice SX are prescribed by the Picard lattice SX . We use this result and our method (1980) to show finiteness of the set of Picard lattices SX of rank ≥ 3 such that the automorphism group Aut(X) of the K3 surface X has a non-triv...
متن کاملComputing the equivariant Euler characteristic of Zariski and étale sheaves on curves
We prove an equivariant Grothendieck-Ogg-Shafarevich formula. This formula may be viewed as an étale analogue of well-known formulas for Zariski sheaves which were proved by Ellingsrud/Lønsted and Nakajima and for which we give a new approach in this paper. Mathematics Subject Classification 2000. 14F20; 14L30; 14H30.
متن کاملClassification of Complex Algebraic Surfaces
In this note we present the classical Enriques’ classification theorem for complex algebraic surfaces. We’ll recall basic facts about the theory of complex surfaces (structure theorems for birational maps), and discuss (using a modern (=Mori) approach) some important results like the Castelnuovo’s rationality criterion and the classification of minimal ruled surfaces. Finally, after the descrip...
متن کامل